Une proposition de composants formels
نویسندگان
چکیده
The concept of component, even if an old one, has not yet given all its expressive power as far as building complex systems is concerned. New proposals for components have appeared at design or code level. Although they are demonstrative, we think they are still not sufficient enough. It is fundamental for us that the concept of sofware component appears as soon as possible in the life cycle, in particular at the formal specification level. In this article we present our formal component concept on a case study modelled with KORRIGAN. Our components are based upon textual and graphical views, using symbolic transition systems, algebraic specifications and a temporal glue. We illustrate some of their features, amongst them composition, reuse and communication between components. MOTS-CLÉS : composants formels, composition, réutilisation, patrons de communication, vues.
منابع مشابه
Support pour la reconfiguration d'implantation dans les applications a composants Java
RÉSUMÉ. De nombreux modèles de composants sont aujourd’hui utilisés à des fins variées : construction d’applications, d’intergiciels, ou encore de systèmes d’exploitation. Ces modèles permettent tous des reconfigurations de structure, c’est-à-dire des modifications de l’architecture de l’application. En revanche, peu permettent des reconfigurations d’implantation qui consistent à modifier dynam...
متن کاملGénérer des règles de classification par dopage de concepts formels
Résumé. La classification supervisée est une tâche de fouille de données (Data Mining), qui consiste à construire un classifieur à partir d’un ensemble d’exemples étiquetés par des classes (phase d’apprentissage) et ensuite prédire les classes des nouveaux exemples avec ce classifieur (phase de classification). En classification supervisée, plusieurs approches ont été proposées dont l’approche ...
متن کاملVers une architecture d'adaptation automatique des applications reparties basées composants
Résumé. Les systèmes informatiques d’aujourd'hui sont de plus en plus pervasifs, composés de composants hétérogènes fournissant des fonctionnalités avec des interactions complexes. Les recherches existantes sur le développement à base de composants ont surtout porté sur la structure des composants, les interfaces et les fonctionnalités de ces derniers. Le domaine de l'architecture logicielle tr...
متن کاملAdaptation dynamique de services
RÉSUMÉ. Cet article propose une architecture logicielle qui rend possible l’adaptation dynamique de services construits par assemblage de composants, en fonction de contextes d’utilisation variés. Dans le cadre de cette première expérimentation le contexte concerne les besoins des utilisateurs. La particularité principale de notre proposition est que le comportement de chaque service par rappor...
متن کاملFaire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
Résumé Une architecture logicielle décrit la structure d’un système informatique en spécifiant ses composants et leurs interactions. Projeter une architecture logicielle sur une implémentation est une tâche reconnue difficile. Un élément crucial de cette projection est la description architecturale des interactions entre les composants. La caractérisation de ces interactions peut être plutôt ab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- L'OBJET
دوره 8 شماره
صفحات -
تاریخ انتشار 2002